2:
r where e
 implements
P
u
